Call Number (LC) | Title | Results |
---|---|---|
QA76.9.L63 L63 1999 |
Logical foundations for cognitive agents : contributions in honor of Ray Reiter / Logical foundations for cognitive agents contributions in honor of Ray Reiter / |
2 |
QA76.9.L63 L64 1998 | Logics for databases and information systems / | 1 |
QA76.9.L63 L64 2012 | Logic and program semantics essays dedicated to Dexter Kozen on the occasion of his 60th birthday / | 1 |
QA76.9.L63 L65 2020 | Logic, language, and security : essays dedicated to Andre Scedrov on the occasion of his 65th birthday / | 1 |
QA76.9.L63 M34 2019 | How to speak machine : computational thinking for the rest of us / | 1 |
QA76.9.L63 M66 2010 | Specification and verification of declarative open interaction models a logic-based approach / | 1 |
QA76.9.L63 N34 2012eb | The logician and the engineer : how George Boole and Claude Shannon created the information age / | 2 |
QA76.9.L63 N55 2002 | Isabelle/HOL : a proof assistant for higher-order logic / | 1 |
QA76.9.L63 N57 2002 | Isabelle/HOL : a proof assistant for higher-order logic / | 1 |
QA76.9.L63 O93 2019 | Representation theorems in computer science : a treatment in logic engineering / | 1 |
QA76.9.L63 P34 2018 | Essential logic for computer science / | 1 |
QA76.9.L63 P67 2004 | Logic functions and equations : binary models for computer science / | 1 |
QA76.9.L63 P74 1997 | Solving higher-order equations : from logic to programming / | 1 |
QA76.9.L63 P74 1998 | Solving higher-order equations : from logic to programming / | 1 |
QA76.9.L63 R3 2012 | Reversible computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, revised papers / | 1 |
QA76.9.L63 R3 2015eb | Reversible computation : 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings / | 1 |
QA76.9.L63 R53 2013eb | Belief revision in non-classical logics | 1 |
QA76.9.L63 R85 2020 | Rules and reasoning : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings / | 1 |
QA76.9.L63 R85 2021eb | Rules and reasoning : 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings / | 1 |
QA76.9.L63 R85 2023 | Rules and reasoning : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings / | 1 |